Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB

摘要

In this paper we investigate XSB-Prolog as a static analysis engine for datarepresented by medium-sized graphs. We use XSB-Prolog to automatically identifyfunction dependencies in the Linux Kernel---queries that are difficult toimplement efficiently in a commodity database and that developers often have toidentify manually. This project illustrates that Prolog systems are ideal forbuilding tools for use in other disciplines that require sophisticatedinferences, because Prolog is both declarative and can efficiently implementcomplex problem specifications through tabling and indexing.